In-system programming - PDFSEARCH.IO - Document Search Engine

In-system programming
Results: 1455

#	Item
471	Type-Preserving Compilation of Featherweight Java CHRISTOPHER LEAGUE, ZHONG SHAO, and VALERY TRIFONOV Yale University We present an efficient encoding of core Java constructs in a simple, implementable typed intermediate Add to Reading List Source URL: contrapunctus.net Language: English - Date: 2012-03-13 13:00:11 Programming language theory Computing Recursive data type Papyrus 1 Type system Type safety Generic programming Type theory Data types Software engineering
472	Catching Bugs in the Web of Program Invariants Cormac Flanagan Matthew Flatt Shriram Krishnamurthi Add to Reading List Source URL: www.seas.upenn.edu Language: English - Date: 2014-07-10 05:47:15 Data types List Cons Programming language Lisp Type system Pointer ALGOL 68 Reference Software engineering Computing Computer programming
473	In Proceedings of the 2004 International Conference on New Interfaces for Musical Expression (NIME) On-the-fly Programming: Using Code as an Expressive Musical Instrument Ge Wang Add to Reading List Source URL: www.gewang.com Language: English - Date: 2015-02-21 01:45:23 System software Computing ChucK Cross-platform software Electronic music Programming language MUSIC-N Concurrent computing Programming paradigm Software Audio programming languages Software synthesizers
474	Debugging in the (Very) Large: Ten Years of Implementation and Experience Kirk Glerum, Kinshuman Kinshumann, Steve Greenberg, Gabriel Aul, Vince Orgovan, Greg Nichols, David Grant, Gretchen Loihle, and Galen Hunt Microso Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2009-10-16 13:49:31 Microsoft Windows Debugging Software bugs Windows Error Reporting Windows Mobile Winqual Blue Screen of Death Core dump Fatal system error Computing Computer errors Computer programming
475	Timing issues in desktop audio playback infrastructure Alexander Patrakov April 11, 2015 Add to Reading List Source URL: lac.linuxaudio.org Language: English - Date: 2015-04-11 04:44:39 PulseAudio Advanced Linux Sound Architecture Latency Pointer Low latency X Window System Scheduling Software Computing Application programming interfaces
476	An architecture for integrating an Expert System with NEPLAN in a DMS/EMS operational environment Add to Reading List Source URL: www.neplan.ch Language: English - Date: 2015-01-28 07:22:42 SCADA Telemetry NORD Programming Language Expert system Computer-integrated manufacturing Operating system Database Technology Information systems Industrial automation
477	Setting up ADMB 6.0 in Visual C++ Melissa Haltuch, October. Add to Reading List Source URL: www.admb-project.org Language: English - Date: 2013-09-24 16:15:26 Computer programming Workspace Folder Computer icon Computer file ADMB Environment variable File shortcut Directory structure Computing System software Software
478	2nd. International Conference on Applied and Theoretical Information Systems Research (2nd. ATISR2012) Articles are ranked by title. A CODE DESIGN LEARNING FUNCTION IN JAVA PROGRAMMING LEARNING ASSISTANT SYSTEM USING TES Add to Reading List Source URL: academic.atisr.org Language: English - Date: 2012-12-28 01:51:30 Chen Chu Taiwanese television series
479	Contextual Policy Enforcement in Android Applications with Permission Event Graphs Kevin Zhijie Chen† , Noah Johnson† , Vijay D’Silva† , Shuaifu Dai† , Kyle MacNamara† , Tom Magrino† , Edward Wu† , Martin Add to Reading List Source URL: www.cs.berkeley.edu Language: English - Date: 2013-02-25 13:43:28 Embedded Linux Smartphones Computer programming Event Subroutines Android Application programming interface Google Chrome Operating system Software Computing Cloud clients
480	Performance measurement of remapping code in CESM coupler using MCT and ESMF sparse matrix multiply (SMM): Part 1 performance analysis on 1024 processors Initial draft: [removed]Last modified[removed]Fei Liu Add to Reading List Source URL: www.earthsystemmodeling.org Language: English - Date: 2012-12-22 14:48:49 ESMF Weather prediction Software optimization Community Climate System Model Pin Profiling Program optimization Fortran Computing Software engineering Computer programming

UPDATE